ksh $HOME/.profile file