Fix travis configurations