diff --git a/exp-drd/docs/README.txt b/exp-drd/docs/README.txt
index 2e78a75ce..8cfb1ce69 100644
--- a/exp-drd/docs/README.txt
+++ b/exp-drd/docs/README.txt
@@ -354,7 +354,7 @@ function my-gcc { export CC=$HOME/gcc-4.3.0/bin/gcc LD_LIBRARY_PATH=$HOME/gcc-4.
 EOF
 
 For an example of how to recompile gcc, see also the script
-exp-drd/scripts/compile-gcc.
+exp-drd/scripts/download-and-build-gcc.
 
 
 Future DRD Versions
diff --git a/exp-drd/scripts/compile-gcc b/exp-drd/scripts/download-and-build-gcc
similarity index 99%
rename from exp-drd/scripts/compile-gcc
rename to exp-drd/scripts/download-and-build-gcc
index e71fb6834..c13412ddf 100755
--- a/exp-drd/scripts/compile-gcc
+++ b/exp-drd/scripts/download-and-build-gcc
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Make sure that libgmp and libmpfr are installed before you run this script.
 # On Debian systems, e.g. Ubuntu, you can install these libraries as follows: