Fixup in the configure.sh script