need to get packages from PPA

Travis uses Ubuntu 12.04