PGP User's Guide, Volume II: Special Topics -- TMP: directory pathname for temporary files