Make use of HDF5_DIR