Re: [boost] [filesystem] Issue with replace_extension