extern void mktexupd (char *s);