coverity.bat: Use VS2012.