Bring back PHP 5.3