fix installation of hdf5