How to remove agda-bin from Debian 9 (Stretch)