r1231: configure.in