diff -r 4e7562023f3e -r 7710d81d15e7 scripts/build/gmp.sh
--- a/scripts/build/gmp.sh	Sun Jan 04 14:25:58 2009 +0000
+++ b/scripts/build/gmp.sh	Thu Jan 29 18:53:32 2009 +0000
@@ -17,7 +17,8 @@
 
 # Extract GMP
 do_gmp_extract() {
-    CT_ExtractAndPatch "gmp-${CT_GMP_VERSION}"
+    CT_Extract "gmp-${CT_GMP_VERSION}"
+    CT_Patch "gmp-${CT_GMP_VERSION}"
 }
 
 do_gmp() {