`--max-exec-time` doesn't work [reliably] on non-Windows systems
set_time_limit()
on Windows systems uses the real program execution time, so --max-exec-time
works as expected.
However, on non-Windows systems, set_time_limit()
excludes system calls, socket waits, etc, so it doesn't have the intended impact.