Re: failure running seoul-genode run script