Re: Installing software in genode