Use PPA on Ubuntu