Re: [PATCH 11/15] tools/nolibc: add difftime()