bashrc: include `user` in PS1