How to remove csmith from Debian 9 (Stretch)