Не удалось использовать Mosquitto-PHP после обновления до Ubuntu 17.10

Я использую Github: mgdm / Mosquitto-PHP

Я не знаю, но думаю, что это динамическое расширение не работает с php 7.1.

Кто-нибудь знает, делает или нет; как установить php 7.0 вместе с 7.1 для использования cli. Мне не нужен Mosquitto в Apache.

Спасибо,