[boost] Re: filesystem::change_extension doc error (1_31_0)