TO DO BEFORE 4.2
We have added many options to the main configuration
scripts for 4.2, and turned many of them on by default.
The equivalent #defines or -DOPTIONS should be added to
the various config files and Makefiles for all those
platforms that don't use the main configuration script.