Except that the type is wrong for backwards compat. Run here used to have a different type than in mirage-xen... It's now the same, but irrelevant!