Use PHP 7.2 for piwik