[boost] Re: Suggested addition for BOOST_WORKAROUND