I would like to set a tex-engine by exploiting the `time` Unix command, like `time pdflatex sample` How can TeXwork be configured correctly?