bash_profile now system-specific