Formerly ../configure.in.~20~