Fix the HDF5 compilation