--- a/src/core/random_func.cpp	Sun Feb 03 12:41:06 2008 +0000
+++ b/src/core/random_func.cpp	Sun Feb 03 16:21:19 2008 +0000
@@ -131,13 +131,16 @@
 
 #ifdef RANDOM_DEBUG
 #include "../network/network_data.h"
+#include "../variables.h" /* _frame_counter */
+#include "../player_func.h"
+
 uint32 DoRandom(int line, const char *file)
 {
 	if (_networking && (DEREF_CLIENT(0)->status != STATUS_INACTIVE || !_network_server)) {
 		printf("Random [%d/%d] %s:%d\n",_frame_counter, (byte)_current_player, file, line);
 	}
 
-	return _random->Next()
+	return _random.Next();
 }
 #endif /* RANDOM_DEBUG */
 #endif /* MERSENNE_TWISTER */