update coverity.bat