If you don't want to compile from source I have some deb packages built here....
https://bitbucket.org/bluzee/updatedvb_binaries
There are also 32bit in a different repo. The 5.4.2-udl kernel package should have the driver you need. I'm not sure about any firmware requirements for that device.