--- src/server/ServerMain.cpp.orig	Wed Jul 30 17:41:27 2003
+++ src/server/ServerMain.cpp	Sun Aug  3 09:07:13 2003
@@ -46,7 +46,7 @@
 #include <server/ServerBuyAccessoryHandler.h>
 #include <server/ServerConnectHandler.h>
 #include <server/ServerState.h>
-#include <SDL/SDL.h>
+#include <SDL11/SDL.h>
 
 Timer serverTimer;