now use stabile ondrej ppa repo for php 5.4