Fix travis integration with coverity