ref: 76f5318cbd58fbe2bfc8cb51856bfa217c673bb7
dir: /appl/cmd/spki/mkfile/
<../../../mkconfig TARG=\ verify.dis\ SYSMODULES=\ arg.m\ keyring.m\ security.m\ rand.m\ sys.m\ draw.m\ bufio.m\ string.m\ styx.m\ styxservers.m\ sexprs.m\ spki.m\ DISBIN=$ROOT/dis/spki <$ROOT/mkfiles/mkdis