How to remove rest-bench-dbg from Debian 9 (Stretch)