Tweaking building of HDF5