--- linux86-0.16.17.orig/ifdef.c
+++ linux86-0.16.17/ifdef.c
@@ -443,10 +443,6 @@
 #ifdef __i386__
    save_name("__elksemu_works__", 'D');
 #endif
-/* Is this true ? */
-#ifdef __x86_64__
-   save_name("__elksemu_works__", 'D');
-#endif
 #endif
 #ifdef __unix__
    save_name("__unix__", 'D');