jsdvi has been renamed to
dvi.js