new version of the SV-comp files