correct COMPILE_CMAKE.TXT on how to customize compile-time options. suggested by Daniel Pistelli