Fix a configure.ac bug.