change file extension to correct GitHub's syntax highlighting