replace php5.3 by php5.4