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