VDR developer version 1.7.4 is now available at
Something made the hvr-4000 to work with this version of driver. With exactly same drivers and channel.conf file and streamdev-plugin and mplayer, the vdr-1.7.3 is not able to tune dvb-s channels but vdr-1.7.4 works :-)
Mika