Undo the change for CMAKE_CONFIG_TYPE (not needed now after the changes from Bertrand)