bug#19934: Failed run of make check

[Ludovic Courtès]

Hi,

Could you try the fix proposed at
<http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19780#77>?

Thanks,
Ludo’.