Formerly ../configure.in.~33~