[boost] Re: CVS update problem: waiting for david_abrahams's lock