Fix configure.sh for --gui=no