How to remove r-other-amsmercury from Debian 9 (Stretch)