fix path setup: mac uses the bash_profile instead of bashrc