Require PHP >= 5.4