add a --with-toolset=xxx command-line parameter to bootstrap.bat