--- stun.cxx	2005-08-14 06:09:03.000000000 +0530
+++ stun.cxx.huzaifas	2008-04-09 15:11:29.000000000 +0530
@@ -669,16 +669,16 @@
       tick = hightick;
       tick <<= 32;
       tick |= lowtick;
-#elif defined(__GNUC__) && ( defined(__i686__) || defined(__i386__) )
+#elif defined(__GNUC__) && ( defined(__i686__) || defined(__i386__) || defined(__x86_64__)  )
       asm("rdtsc" : "=A" (tick));
-#elif defined (__SUNPRO_CC) || defined( __sparc__ )	
+#elif defined (__SUNPRO_CC) || defined( __sparc__ )
       tick = gethrtime();
 #elif defined(__MACH__) 
       int fd=open("/dev/random",O_RDONLY);
       read(fd,&tick,sizeof(tick));
       closesocket(fd);
 #else
-#     error Need some way to seed the random number generator 
+/* #     error Need some way to seed the random number generator */
 #endif 
       int seed = int(tick);
 #ifdef WIN32