Fix travis setup :-/