We should set the environment variable `CMAKE_BUILD_TYPE` to be `Release` so that CMake will use a release build by default if no build type is specified in the command line (ref: https://cmake.org/cmake/help/latest/variable/CMAKE_BUILD_TYPE.html).