Handle correctly user-defined CMAKE_BUILD_TYPE