diff -r 4e7562023f3e -r 6bdb31785d6c scripts/build/gmp.sh
--- a/scripts/build/gmp.sh	Sun Jan 04 14:25:58 2009 +0000
+++ b/scripts/build/gmp.sh	Sun Jan 18 15:08:28 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() {