Coverity have now fixed Travis/Coverity integration