RR: fix Friday afternoon problem in configure.sh.