Actually fix travis config