My error! With apologies, please find attached the output of $ make check

> 15098@debbugs.gnu.org