--- configure.orig	2004-05-17 17:06:13.646459416 +0100
+++ configure	2004-05-17 17:06:38.812633576 +0100
@@ -38238,7 +38238,7 @@
 
 
 cat >>confdefs.h <<\_ACEOF
-#define FPM_INTEL 1
+#define FPM_64BIT 1
 _ACEOF
 
     ;;