small fix in configure.ac