A simple Bash script for changing file extensions.