(BIN) dvidis.tar.gz
 (BIN) dviout.tar.gz