Including newer versions of PHP