[PATCH 1/4] Make configure use /bin/bash instead of /bin/sh