produced this configure file using autoconf