Myrulib в Mint 18.3 устанавливается без проблем из ppa.
Если в 18.04 LTS не работает, может это повод перейти на Mint? Судя по обширной библиотеке для вас это важно наличие работающего каталога.
Кстати, кто пользуется CR3 (CoolReader3) профиксить сохранение настроек можно через файл cr3.ini, скопируйте его в каталог /home/имя пользователя/.cr3
cr3.ini