diff -r 22e495b7bee8 -r 8a72662f0815 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	Mon Jul 25 19:04:17 2011 +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[@]}"