Fix PHP 5.3, 5.4 support