Bash prompt defines alternative colors