Give up on PHP 5.3