The fix in 2080fc0 need to be applied to os-autoconf.h too :-/