fixing configure.ac

oops