Simplifications to .bashprompt.

(Mostly due to version incompatibility met on various systems.)