Не удается установить драйвер displaylink с текущим ядром

Я попытался загрузить этот драйвер, чтобы заставить работать внешнюю док-станцию ​​usb-c с displaylink. К сожалению при установке я получаю это сообщение об ошибке

    sudo ./displaylink-driver-1.2.65.run [sudo] password di federico: 
    Verifying archive integrity... All good.
    Uncompressing DisplayLink Linux Driver 1.2.65 100% 
    DisplayLink Linux Software 1.2.65 install script called: install
    Distribution discovered: Ubuntu 16.04.1 LTS
    Installing
    Configuring EVDI DKMS module
    Registering EVDI kernel module with DKMS
    Building EVDI kernel module with DKMS
    ERROR (code 3): Failed to build evdi/1.2.65. Consult /var/lib/dkms/evdi/1.2.65/build/make.log for details..

здесь журнал make

на форуме displaylink они связали меня с этим, но я не знаю, как его использовать (пробовал make & make install, пробовал поместить его в.run драйвера)

У кого-нибудь есть идеи?