--- a/src/video/x11/SDL_x11modes.c	Thu Oct 04 20:41:22 2012 -0700
+++ b/src/video/x11/SDL_x11modes.c	Thu Oct 04 23:56:37 2012 -0400
@@ -274,7 +274,7 @@
             mode->refresh_rate = CalculateXRandRRefreshRate(info);
             ((SDL_DisplayModeData*)mode->driverdata)->xrandr_mode = modeID;
 #ifdef X11MODES_DEBUG
-            printf("XRandR mode %d: %dx%d@%dHz\n", modeID, mode->w, mode->h, mode->refresh_rate);
+            printf("XRandR mode %d: %dx%d@%dHz\n", (int) modeID, mode->w, mode->h, mode->refresh_rate);
 #endif
             return SDL_TRUE;
         }