Fix compilation of Boost intersection