Adjusted CONFIGURE_F18.bash instructions to match the current name of
the script.