Correction in configure.in support.