[boost] BUG IN boost::ptr_set erase