it's already loaded by /etc/profile