stl.lua: Properly handle extra facet vertices