tools/configure.sh: Another fix for the script. The last change only worked...

tools/configure.sh:  Another fix for the script.  The last change only worked for Windows Cygwin; for Linux, it needed to remove some additional things from the defconfig file.