Michael Albinus wrote:
> Should be fixed now.

I'm getting failures like the attached when I run "make check" on master. I am
using commit 2eb6817ba971184cc109f8530f4b3b38f65650ea dated Sun May 8 13:24:20
2016 +0000.