heping gone? Where to check out HDF5 from cvs?