Fix configure-bash.