RunCMake.cmd: restore echo off (accidentally left on in previous commit).