#1217 CMake: minor improvements; in peculiar the trick found on the Web concerning default CMAKE_BUILD_TYPE didn't work correctly; replaced it by another one which seems to fare better.