Fix bugs in configure.ac