/usr/bin/dvidvi