Some fixes to configure.ac