How to install hdf5-tools on Debian 9 (Stretch)