Minor fixes to coverity_scan addon
Merge pull request #196 from aceofspades/coverity_scan

Minor fixes to coverity_scan addon