How to install agrep on Debian 9 (Stretch)