jenkins: Set default shell to /bin/bash