changes to configure.in