I'd just convert it directly, using either ps2pdf or pstopdf on Linux.