Re: fopen() in Genode?