Fix Polyhedron.vertices() for ISL 0.13