diff -r aeaf7db26fac -r c094afcdfb27 src/server/util/Makefile
--- a/src/server/util/Makefile	Sun Jul 09 15:14:26 2023 +0200
+++ b/src/server/util/Makefile	Mon Jul 10 18:39:24 2023 +0200
@@ -29,4 +29,4 @@
 UTIL_CFLAGS = 
 
 $(UTIL_OBJPRE)%.o: util/%.c
-	$(CC) -o $@ -c $(UTIL_CFLAGS) $(CFLAGS) $<
+	$(CC) -o $@ -c $(WS_CFLAGS) $(UTIL_CFLAGS) $(CFLAGS) $<