bash prompt: fix coloring