Update to PHP5.4