Use exec-or-trash-output for paradox and eprover.