Re: [PATCH v2 0/2] tools/nolibc: avoid coredumps and speed up tests