Fixed the glitch introduced by the new version of Boost.