This patch addresses an issue in which, on Ubuntu 11 and later, sh is not an alias of bash. Consequently, bashisms do not work correctly. Because configure is already setup to run bash as the interpreter, 
just execute configure directly.