Fix travis extensions