diff -r aa0461b19c97 -r bce89424b82a UninterpretedBytes.st
--- a/UninterpretedBytes.st	Mon Sep 12 16:50:48 2016 +0200
+++ b/UninterpretedBytes.st	Mon Sep 12 16:51:19 2016 +0200
@@ -4463,12 +4463,14 @@
                 hash2 = (hash2 << 8) | cp[1];
                 hash2 = (hash2 << 8) | cp[2];
                 hash2 = (hash2 << 8) | cp[3];
+# if 0
                 if (sizeof(H_INT) == 8) {
                     hash2 = (hash2 << 8) | cp[4];
                     hash2 = (hash2 << 8) | cp[5];
                     hash2 = (hash2 << 8) | cp[6];
                     hash2 = (hash2 << 8) | cp[7];
                 }
+# endif
                 /*
                  * multiply by large prime to scramble bits and
                  * to avoid a 0 result from