fix compatibility problems with php 5.3