Give up on PHP 5.3 (bis)