revert to php5.4