Re: [Boost-users] [filesystem] where is replace_extension