How to remove installation-guide-mips from Debian 9 (Stretch)