linux: run apt-get update after installing ppa