fix names for ikvm