prevent ksh from using others' history files