thing to do, since we patched config.h.in) PR: ports/71860 Reported by: Matthias Andree <matthias.andree@web.de> Submitted by: maintainer