diff -r d41fc7f37aed -r 696246f5758f src/server/admin/Makefile
--- a/src/server/admin/Makefile	Mon Jul 10 18:51:01 2023 +0200
+++ b/src/server/admin/Makefile	Mon Jul 10 18:52:28 2023 +0200
@@ -29,8 +29,8 @@
 ADMIN_CFLAGS = 
 
 $(ADMIN_OBJPRE)%.o: admin/%.c
-	$(CC) -o $@ -c $(ADMIN_CFLAGS) $(CFLAGS) $<
+	$(CC) -o $@ -c $(WS_CFLAGS) $(ADMIN_CFLAGS) $(CFLAGS) $<
 
 $(ADMIN_OBJPRE)%.o: admin/%.cpp
-	$(CXX) -o $@ -c $(ADMIN_CFLAGS) $(CFLAGS) $<
+	$(CXX) -o $@ -c $(WS_CFLAGS) $(ADMIN_CFLAGS) $(CFLAGS) $<