Symbol: replace_extension