I've just uploded nvidia-texture-tools 2.1.2 to experimental.If this doesn't cause any havoc with the symbols, this can go to unstable soon and we can close this chapter.
@Andreas: I hope I didn't mess up your copyright audit changes when updating to the new upstream release. Just in case you want to recheck ...
Andreas
