package hdf5: fix generated platform specific sources