A few minor improvements in configure.ac.