Up the minimum version of PHP to fix #64