[boost] Re: cvs wedged?