diff -r 4b5d62ac01f7 -r 90d1fb9fc2e1 gameServer/hedgewars-server.hs
--- a/gameServer/hedgewars-server.hs	Sun Mar 06 21:55:44 2011 +0300
+++ b/gameServer/hedgewars-server.hs	Tue Mar 08 21:27:44 2011 +0300
@@ -12,7 +12,9 @@
 import Opts
 import CoreTypes
 import ServerCore
+#if defined(OFFICIAL_SERVER)
 import ConfigFile
+#endif
 
 #if !defined(mingw32_HOST_OS)
 import System.Posix