How to remove ada-reference-manual-2012 from Debian 9 (Stretch)