Small configure.ac correction