/usr/bin/oxdvi.bin
/usr/bin/xdvi.bin
