(TXT) kpsewhich-default-progname.patch