bash: Fix filenames