ἐξορύξαντες

to dig out, i.e., (by extension) to extract (an eye), remove (roofing)