Re: Build problems on i386 (L4Re)