.bashrc: optimize PS1