configure.in: Fix for old autoconf (e.g. CentOS 5)