fix bug in configure.ac