Como instalar rest-bench-dbg no Debian 9 (Stretch)