This partially fixes 'make distcheck'

 * With this fix 'make distcheck' will continue
   a little further before it fails.
 * The error that this commit fixes was introduced
   by commit: 9bc6d3cd8518b81a905a08c343c2607be9340056