fix coverity.sh