Whoops, kinitvm isn't actually used anymore.