diff -r 22e495b7bee8 -r 172b72d597f9 scripts/build/companion_libs/gmp.sh
--- a/scripts/build/companion_libs/gmp.sh	Sun Jul 24 23:53:14 2011 +0200
+++ b/scripts/build/companion_libs/gmp.sh	Tue Jul 17 22:39:53 2012 +0200
@@ -51,7 +51,7 @@
     CT_mkdir_pushd "${CT_BUILD_DIR}/build-gmp-host-${CT_HOST}"
 
     gmp_opts+=( "host=${CT_HOST}" )
-    gmp_opts+=( "prefix=${CT_COMPLIBS_DIR}" )
+    gmp_opts+=( "prefix=${CT_HOST_COMPLIBS_DIR}" )
     gmp_opts+=( "cflags=${CT_CFLAGS_FOR_HOST}" )
     do_gmp_backend "${gmp_opts[@]}"