Re: Bug? Failure running make check.