undid accidental change to configure.ac