Add bash prompt tweak to avoid issue with Ctl-R