Fixes missing hdf5_hl header