bashrc-extra: Fix $PS1