Really fix travis