[vdr] Getting old dvb_ttpci running with new driver and VDR1.7.1