(BIN) autogen.dvi.gz