Really fix Travis this time