How to install education-laptop on Debian 9 (Stretch)