[w3woody]

Originally Posted by skevy

See this thread for a temporary fix until they release the driver with all the files included :-)

http://www.displaylink.org/forum/showthread.php?p=123

The solution doesn't work for me since rebooting into a 32-bit kernel is not an option right now. But thanks for the pointer. :-)