[PATCH 4/5] vmevent: Hide meaningful names from the user-visible header