Update version to support PHP 7.3.*