Re: Some problems in doing "make prepare" on Genode 14.05.