While coverity passes, the badge annoys me on github