Fixing colours in bash scripts, and explicitly using bash...

Change-Id: Ib79f688c6941bb3378c4fd9e1bb22dc7528164de