hard iexec hard verbatimcopy hard pgfopts