[vdr] which lib*softdevice*so.1.3.31 to use?