* configure.in: Fix last change.