Travis: fix coverity