AliInst: removed SVN garbage