Applied patch from Stephane Fillod to make configure run with bash