.bashrc: pip can find its own cache nowadays, but ccache needs to be in $PATH