Re: [Boost-users] Fix for annoying bug / library maintenance