[pvs-sbcl] rebuild (sbcl)