How to remove astro-development from Debian 9 (Stretch)