Hi Jim, thanks for the report.

> Building on master, v1.11-1673-gc1b14e9,
> I saw one "ERROR" and 10 failures.
>
> The ERROR is trivial to fix.  Patch below.
>
I pushed a slightly more elaborated version (see attachment).

Regards,
  Stefano