Fix PPA for correct version of gcc 4.8