How to install gmidimonitor on Debian 9 (Stretch)