running make twice did not change dvi if it is not update