--- src/CReplayData.cpp.orig	2009-02-01 14:34:45.000000000 +0300
+++ src/CReplayData.cpp	2009-12-19 03:22:25.000000000 +0300
@@ -33,7 +33,8 @@
 
 void ReplayData::printReplayInformation()
 {
-	tm *timeinfo = localtime(&header.randomSeed);
+	time_t t = header.randomSeed;
+	tm *timeinfo = localtime(&t);
 	printf("Recorded on : %s", asctime(timeinfo));
 	printf("Map         : %s\n", header.map);
 	printf("Score       : %d\n", header.score);