How to remove r-mathlib from Debian 9 (Stretch)