use php5.4 repo