Re: [PATCH v3 3/4] tools/nolibc: implement fd-based FILE streams