change some things to make autoconf on linux happy