http://bugs.debian.org/872604
--- csmith-2.3.0/src/platform.cpp.orig
+++ csmith-2.3.0/src/platform.cpp
@@ -79,7 +79,7 @@
 static unsigned long long read_time(void)
 {
 	unsigned long long clk;
-	asm volatile("stckf %0" : "=Q" (clk) : : "cc");
+	asm volatile("stck %0" : "=Q" (clk) : : "cc");
 	return clk;
 }
 #  elif defined(__i386__) || defined(__x86_64__)