cleaned up configure.ac a tiny bit