Fix export in /etc/profile