redex: update virtual machine benchmark diffs