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