Fix vmi.c compilation