play nice with php version 5.3