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