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.