Run texvc via wfShellExec(), so that execution time is limited.