Fixed. File extension in some Bash scripts