Small cleanup of `DOConfigureCompiler.cmake`
Small compilation fix found by Travis using gcc