xdvik/texk/etc/autoconf
