Correcting typo in bash_profile Linux OS check