Update coverity.bat.