ksh /etc/profile file