[boost] Re: CVS has a stale lock