hard iexec hard fancyvrb hard pdfcrop hard pgf hard pgf-blur