Formerly ../configure.in.~23~