Fix travis CI configuration