Change the file extension of a path - View it on GitHub