diff -r 6f778f237cbc6cf3cef7b3ccdd528f5e4d3b1046 -r f55c4aa3687f2723419e0132c05b8f9c3e39f39a configure
--- a/configure	Wed Apr 17 22:24:43 2013 -0500
+++ b/configure	Wed Apr 17 22:26:30 2013 -0500
@@ -19697,7 +19697,7 @@
    { (exit 1); exit 1; }; }
 fi
 
-$GMPH="gmp-i386.h"
+GMPH="gmp-i386.h"
 
 { echo "$as_me:$LINENO: checking whether gmp.h works for us" >&5
 echo $ECHO_N "checking whether gmp.h works for us... $ECHO_C" >&6; }