Fixed small bug in configure.ac.