[Boost-users] [filesystem] where is replace_extension