changed configure.args