Make dvipdf output correct filename