bash_profile: unused path removed