Workaround for old versions of boost.