Travis: Use Adam's patch for i7