Bash: use proper file name for bash components.