AliInst: removed more SVN antiquities