configure.ac: some corrections