--- gdkwindow-x11.c.ORG 2004-06-13 21:59:53.709990000 -0700
+++ gdkwindow-x11.c     2004-06-13 20:55:44.680764000 -0700
@@ -3331,10 +3331,11 @@
  **/
 void
 _gdk_x11_window_set_user_time (GdkWindow *window,
-                              guint32    timestamp)
+                              guint32    timestamp2)
 {
   GdkDisplay *display;
   GdkDisplayX11 *display_x11;
+  guint64 timestamp=(guint64)timestamp2;

   g_return_if_fail (window != NULL);
   g_return_if_fail (GDK_IS_WINDOW (window));
