another patch for 10.9, although not needed on my machine