bugfix: upgrade to php5.4