Update main.c

Added Miconda patch for vm