diff -r 4b065e7e2130 -r 5416f4ba36bf scripts/addToolVersion.sh
--- a/scripts/addToolVersion.sh	Wed Mar 04 17:59:35 2009 +0000
+++ b/scripts/addToolVersion.sh	Sun May 03 21:10:15 2009 +0000
@@ -131,8 +131,8 @@
         --strace)   EXP=; OBS=; cat=STRACE;    tool=strace;   tool_prefix=debug;;
         --ltrace)   EXP=; OBS=; cat=LTRACE;    tool=ltrace;   tool_prefix=debug;;
         --libelf)   EXP=; OBS=; cat=LIBELF;    tool=libelf;   tool_prefix=tools;;
-        --gmp)      EXP=; OBS=; cat=GMP;       tool=gmp;      tool_prefix=gmp_mpfr;;
-        --mpfr)     EXP=; OBS=; cat=MPFR;      tool=mpfr;     tool_prefix=gmp_mpfr;;
+        --gmp)      EXP=; OBS=; cat=GMP;       tool=gmp;      tool_prefix=companion_libs;;
+        --mpfr)     EXP=; OBS=; cat=MPFR;      tool=mpfr;     tool_prefix=companion_libs;;
 
         # Tools options:
         -x|--experimental|+s)   EXP=1;;