Re: [boost] BUG: filesystem remove_all [PATCH]