Stay compatible with debian (older versions of autoconf)