fix bug in timed_subprocess: actually start the Timer that's meant to terminate killed processes after 10 seconds