more build.bat tweeks