diff -r b1ad3b4ff9f4 -r dd2df44bc58b osx.mk
--- a/osx.mk	Sat Oct 07 09:31:40 2017 +0200
+++ b/osx.mk	Sat Oct 07 09:56:25 2017 +0200
@@ -31,7 +31,7 @@
 AR = ar
 RM = rm
 
-CFLAGS  = -g -c -Wno-deprecated -Wno-format
+CFLAGS  = -O2 -c -Wno-deprecated -Wno-format
 COFLAGS = -o
 LDFLAGS = 
 LOFLAGS = -o