genode-manual make error