Reads a polyhedron file on stdin, counts the rows, and outputs an
equivalent file with a corrected row count.