Require only PHP 5.3 for now