Re: genode-manual make error