Fix build with new versions of boost