diff -r 31615a2e0db1 -r e9caada3aac1 gameServer/CMakeLists.txt
--- a/gameServer/CMakeLists.txt	Wed Mar 28 15:14:20 2018 +0200
+++ b/gameServer/CMakeLists.txt	Wed Mar 28 15:21:23 2018 +0200
@@ -55,6 +55,7 @@
 
 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}