revert accidental change to configure.ac