minor fixes to configure.ac