Explicit bash shell for configure.