Installation: revert repo -> remote, install mirari