Minor fix in configure.sh