fix problems for configure.ac