diff -r fd857b7629ea -r 76a71a67922b gameServer/CMakeLists.txt
--- a/gameServer/CMakeLists.txt	Wed Mar 28 17:28:12 2018 +0200
+++ b/gameServer/CMakeLists.txt	Fri Mar 30 08:02:14 2018 -0400
@@ -55,7 +55,6 @@
 
 set(ghc_flags
     --make ${hwserv_main}
-    -dynamic
     -i${CMAKE_CURRENT_SOURCE_DIR}
     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
     -odir ${CMAKE_CURRENT_BINARY_DIR}