(svn r3238) -Fix: always save if you want GPMI-based AIs, this on request by

Darkvater, so we can, in the future, save patch options in savegames 
without any problems.

settings.c

@@ -11,9 +11,7 @@
 #include "variables.h"
 #include "network.h"
 #include "settings.h"
-#ifdef GPMI
 #include "ai/ai.h"
-#endif /* GPMI */
 
 typedef struct IniFile IniFile;
 typedef struct IniItem IniItem;
@@ -946,9 +944,7 @@ const SettingDesc patch_settings[] = {
 
 	{"ainew_active",				SDT_BOOL,		(void*)false, &_patches.ainew_active,					NULL},
 	{"ai_in_multiplayer",		SDT_BOOL,		(void*)false, &_patches.ai_in_multiplayer,		NULL},
-#ifdef GPMI
 	{"ai_gpmi",							SDT_BOOL,		(void*)true,	&_ai.gpmi,											NULL},
-#endif /* GPMI */
 
 	{"map_x", SDT_UINT32, (void*)8, &_patches.map_x, NULL},
 	{"map_y", SDT_UINT32, (void*)8, &_patches.map_y, NULL},