Fix travis extension name