rdieter pushed to pvs-sbcl (f22). "rebuild (sbcl)"