Fix travis definition