Jenkins no longer needs to be bash

Was because of this db46d1e but jenkins now simplified and no longer uses that.
Change back required to get colour console output to work.