Patch #2284: add -x64 option to rt.bat.
2 files changed