Push request for CMake build fix