use bash for configure script rather than sh