fix php5_ppa