coverity suggests using script: