BashProfile: no need to duplicate path.