diff -r 56cda23f48d4 -r bb7a1f5a8b48 src/server/webdav/Makefile
--- a/src/server/webdav/Makefile	Mon Dec 31 00:07:52 2012 +0100
+++ b/src/server/webdav/Makefile	Tue Jan 01 13:32:04 2013 +0100
@@ -26,11 +26,11 @@
 # POSSIBILITY OF SUCH DAMAGE.
 #
 
-DAV_CFLAGS = -I/usr/include/mps -g
+DAV_CFLAGS = 
 
 $(DAV_OBJPRE)%.o: webdav/%.c
-	cc -o $@ -c $(DAV_CFLAGS) $(CFLAGS) $<
+	$(CC) -o $@ -c $(DAV_CFLAGS) $(CFLAGS) $<
 
 $(DAV_OBJPRE)%.o: webdav/%.cpp
-	CC -o $@ -c $(DAV_CFLAGS) $(CFLAGS) $<
+	$(CXX) -o $@ -c $(DAV_CFLAGS) $(CFLAGS) $<