add PHP5.4