directory /w/kpathsea

define redo
file kpsewhich
end
