Fix travis CI build