marked save_vector_hdf5 as deprecated