fix a configuration problem that required to run autoreconf -fi