Renaming bash functions file to be consistent with other file names