Update vmxice_extract.c