Patch HDF5 (mmap, Windows, small fixes and cleanups)