fix wrong names in SVComp files