win64: add x64 target to build-tcc.bat