RunCMake.cmd: pass possible command line argument for cmake.