jsdvi has been renamed to dvi.js