enable coverity addon, issue #146