Update vki-main.c