Moved from bashrc-plus to profile-plus