Re: tool/run: can't cancel 'run_genode_until forever'