Upgrade the version of split-proc used for concurrency control