Fix travis …again !?