update .proverc