[CMake] cmake HEAD 3.15.20190712-ga231