Generalize the batch files used to run CMake under Win x64