Formerly ../configure.in.~32~