diff -r 1b4b6359a329 -r c72aecd1a9ef scripts/build/mpfr.sh
--- a/scripts/build/mpfr.sh	Thu Nov 20 17:10:09 2008 +0000
+++ b/scripts/build/mpfr.sh	Sat Jan 03 21:11:41 2009 +0000
@@ -2,7 +2,6 @@
 # Copyright 2008 Yann E. MORIN
 # Licensed under the GPL v2. See COPYING in the root of this package
 
-do_print_filename() { :; }
 do_mpfr_get() { :; }
 do_mpfr_extract() { :; }
 do_mpfr() { :; }
@@ -11,11 +10,6 @@
 # Overide function depending on configuration
 if [ "${CT_GMP_MPFR}" = "y" ]; then
 
-do_print_filename() {
-    [ "${CT_GMP_MPFR}" = "y" ] || return 0
-    echo "mpfr-${CT_MPFR_VERSION}"
-}
-
 # Download MPFR
 do_mpfr_get() {
     CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/          \