simplified bash prompt, and other stuff