Compiling after updates to VectorClocking.