change PS1 so it gets better when using solarized