fixed tex-file generation in the xdvi function