Formerly ../configure.in.~17~