* configure.in: Avoid variable named BASH.