diff --git a/Makefile b/Makefile
index 214fdee53c..6200c2b6cf 100644
--- a/Makefile
+++ b/Makefile
@@ -687,13 +687,10 @@ C_SOURCES += water_cmd.c
 C_SOURCES += waypoint.c
 C_SOURCES += widget.c
 C_SOURCES += window.c
+C_SOURCES += sdl.c
 
 CXX_SOURCES =
 
-ifdef WITH_SDL
-C_SOURCES += sdl.c
-endif
-
 ifdef WIN32
 C_SOURCES += win32.c w32dm.c
 else
diff --git a/sdl.c b/sdl.c
index f6f5fe9266..c81fb66d6e 100644
--- a/sdl.c
+++ b/sdl.c
@@ -706,4 +706,9 @@ static void DbgRedraw()
 }
 #endif
 
-#endif // WITH_SDL
+#else
+
+/* Stub for dedicated server */
+void ToggleFullScreen(bool full_screen) {}
+
+#endif /* WITH_SDL */