Updated petroglyph to maintainer's version, regenerated