jenkins: in fedora 18+ texlive-pdfcrop doesn't pull ghostscript in by default