More tweaks to bash prompt to sort out colours