xdvi, dvipdfmx (ubuntu 12.04 -> 14.04)