pre-configure/gnu-configure-asneeded.sh: do nothing if configure_script does not exist.