Fix travis, again?