Fix missing header in gpu-octree