@2b4c2608 I remember it to be obfuscated as well, but haven't take a look in years; maybe somebody cleaned things up and the debian devs didn't notice? Or the obfuscation is only found in headers or something?