root/vm: links for proofutils