../dvipsk/configure