How to install mgp on Debian 9 (Stretch)