corrected Ubuntu package name from dvi2png to dvipng