Rename vclock so as not to clash with riak_core