One-line Bash command to change the extensions of all files in a directory