merge build_vs2012.bat into build.bat