Improve CMake recipe in SETUP instructions