* configure.in: Tweak previous change.