Minor enhancements to the configure script.