tex2pdf.sh, from darwin11