How to remove mma from Debian 9 (Stretch)