I believe that the permutation of the vertex lists is caused by the
fact that the faces are not stored as vertex lists in the files, so
the reconstruction of the vertex ordering is imperfect.