use dvipng to export latext images