switch to ppa:ondrej/php5 for php packages