--Bugfix to configure.ac