Fix typo in platform bash_profile loading