change dvipdfmx to dvipdfm in example usage