php5.4 bugfixed