On my build machine with Linux Mint 19.3 ggc 4.9.4 build without problems (takes about three quarters of an hour) and the image build with that compiler completes normally. It is not clear to me whether the build of gcc 4.94 fails or there are error in the image build using gcc 4.9.4.

Meanwhile I have pushed a make.sh that uses gcc .4.8.4. The push of the one with gcc 4.9.4 was in error, although one is of course free to use the gcc version one prefers.

The pti.ko build from my driver git indeed does not descramble locked channels. For that you need pti-np (np=non-public) which is not open source.

Regards,

Audioniek.