Yes, it looks like autoconf-2.52 had a bug that was fixed in
autoconf-2.53.  We should probably update to requiring 2.53 or later.