Remove a specialized component of bash_profile