Fix coverity scan check in travis config