Support older versions of PHP