php v5.4 bug fixed