trying to fix PHP5.3 support