(ITS#8872) configure.in has long been deprecated