Inlining Spawn.kill_if in the one place were it was actually used, thus
removing the need of thread creation in the interface.