The patch works with web2c-7.0 too (expect a fuzz offset).
