Hopefully fix configure.ac