Octree-0.5.3 patch for GHC 7.8