/etc/profile already does this