Make PS1 play nice with gnome-terminal