monkey patching HDF5.jl