Sorry boys and girls, it seems I had a bug in my installation environment (one of my attempts to build from trunk left remnants in /usr/local that I just found and cleaned out.)
Testing patch again to see whether this does, indeed, not fix it.
Sorry boys and girls, it seems I had a bug in my installation environment (one of my attempts to build from trunk left remnants in /usr/local that I just found and cleaned out.)
Testing patch again to see whether this does, indeed, not fix it.