How to install infiniband-diags on Debian 9 (Stretch)