Restore and update .profile for ksh