minor addition to configure.ac