Formerly ../configure.in.~10~