bashrc: add px