Tweaking travis / coverity.