Allow Travis failure on OSX, try Coverity again