hdf5/config/linux