Re: how to allow execution of bash scripts inside genode