made changes so that autoconf 2.13 is happy