Re: [PATCH v3 08/12] um: add infrastructure to build files using nolibc