Fix bug in configure.ac