PHP5 recipe updated