coverity.bat: Use VS2012.
sign.bat: Use VS2012.