This suffices for testing v12 -> v13; some other version pairs need more
changes.  Back-patch to v10, which removed the function.