How to remove moarvm-dbg from Debian 9 (Stretch)