diff --git a/astro/xplanet/files/patch-xplanetbg.cc b/astro/xplanet/files/patch-xplanetbg.cc
new file mode 100644
index 000000000000..e0f022967c28
--- /dev/null
+++ b/astro/xplanet/files/patch-xplanetbg.cc
@@ -0,0 +1,11 @@
+--- xplanetbg.cc.orig	Fri Mar 22 04:17:05 2002
++++ xplanetbg.cc	Sun Nov 17 18:26:59 2002
+@@ -907,7 +907,7 @@
+         
+         if (debug)
+         {
+-            cout << "Finished at " << ctime(&current_time.tv_sec);
++            cout << "Finished at " << ctime((time_t *)&current_time.tv_sec);
+             cout << "Sleeping for " << sleep_time << " seconds until "
+                  << ctime((time_t *) &next_update) << endl;
+         }