Re: [PATCH 0/3] tools/nolibc: make all headers usable directly