Require PHP 5.3.7 in composer file too