update proverc