Using PHP5.5 from PPA