string campaign_name_previous;
float campaign_won_previous;
#ifdef WATERMARK
-var string autocvar_menu_watermark = WATERMARK;
+string autocvar_menu_watermark = WATERMARK;
#else
-var string autocvar_menu_watermark = "";
+string autocvar_menu_watermark = "";
#endif
void postMenuDraw()
{