Fix PHP5.4 PPA