How to remove openocd from Debian 9 (Stretch)