Я создал info.php:
<?php phpinfo(); ?>
чтобы выяснить, что Apache использует php7.0 вместо php7.2. Исправление тогда было довольно простым:
sudo a2enmod php7.2 sudo a2dismod php7.0 sudo service apache2 restart
После этого следующее облако сработало как положено. Мне показалось странным, что обновление dist не гарантировало, что apache использует самую последнюю версию php. Я надеюсь, что это помогает кому-то в беде :)