How to remove frama-c-base from Debian 9 (Stretch)