How to install mokutil on Debian 9 (Stretch)