fix vcfcmp