jenkins: in fedora 18+ texlive-pdfcrop lives in a separate package