Re: [PATCH] coreutils: update to 8.25