require PHP 5.3.7 or later