Upgrading from PHP 7.0 to PHP 7.1 on Ubuntu 16.04