fix in configure.ac