Fix travis extension