AliInst: removing the right symlink to include