David patch 2

Some minor improvements to CMake related to GNU compiler.