diff -r be4484f10ac7 -r a7ba1352aee1 scripts/build/cc_core_gcc.sh
--- a/scripts/build/cc_core_gcc.sh	Sat Jun 16 18:08:14 2007 +0000
+++ b/scripts/build/cc_core_gcc.sh	Tue Aug 07 19:40:38 2007 +0000
@@ -4,7 +4,7 @@
 
 do_print_filename() {
     [ "${CT_CC_CORE}" = "gcc" ] || return 0
-    echo "${CT_CC_CORE_FILE}"
+    echo "gcc-${CT_CC_CORE_VERSION}"
 }
 
 # Download core gcc