Renamed configure.in to keep autoconf happy.