diff -r 5ec9abba1027 -r 3a1d5a52adfc src/server/util/Makefile
--- a/src/server/util/Makefile	Fri Mar 01 22:44:54 2013 +0100
+++ b/src/server/util/Makefile	Sat Mar 16 23:11:34 2013 +0100
@@ -26,8 +26,7 @@
 # POSSIBILITY OF SUCH DAMAGE.
 #
 
-UTIL_CFLAGS = -I/usr/include/mps -g
-
+UTIL_CFLAGS = 
 $(UTIL_OBJPRE)%.o: util/%.c
 	$(CC) -o $@ -c $(UTIL_CFLAGS) $(CFLAGS) $<