bash: List all files with a given extension.