Re:questions about installation of genode