Isso funcionou para mim - (Estou executando o Ubuntu 17.04)
Eu fiz uma nova instalação depois de remover o php. Acima de tudo isso adicionou um monte de novas pastas. Agora eu tenho 5.6 7.0 7.1 e 7.2.
source: Migrando do PHP 7.0.x para o PHP 7.1.x
% bl0ck_qu0te%