I've never seen this error during installation. I did a new install just now and this error didn't show up. Possibly there is something not set up correctly with your hosts PHP installation. Do you hafe the option to change your PHP version from 7.2 to 7.0 or 7.1?