simplify coverity.bat