TBS drivers currently support DVBAPI 5.3 . This can be seen in file ./linux/include/linux/dvb/version.h
#define DVB_API_VERSION 5
#define DVB_API_VERSION_MINOR 3
This was fine with distros that used linux-headers 3.2 when compiling their binaries that need DVBAPI header files (like dvblast for example) but with newer distros that use linux-headers 3.16 (like Debian8) or later, the resulting binaries that are distributed with the distros are not compatible with the 5.3 API of the drivers. Then you need to manually recompile and this is not easy for many people.
Therefore, I would suggest that your driver team adapt to current DVBAPI version, which is for Linux kernel 3.10 and above the 5.10 version.