Cannot install DisplayLink drivers on latest Mint release
 

When trying to install the DisplayLink drivers on Linux Ubuntu Mint Distribution, I get an error during the installation script.

[[ Installing EVDI library ]]
cc -I../module -std=gnu99 -fPIC -c -o evdi_lib.o evdi_lib.c
In file included from evdi_lib.c:5:
/usr/lib/gcc/x86_64-linux-gnu/9/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory
9 | # include_next <stdint.h>
| ^~~~~~~~~~
compilation terminated.
make: *** [<builtin>: evdi_lib.o] Error 1
ERROR: Failed to build evdi/5.3.1.34 library.


logs of support tool attached.
Thanks,
Douwe

I have the exact same problem on a clean installation of Linux Mint 20 / Ubuntu 20.04
Kernel: 5.4.0-42-generic
Any help would be greatly appreciated!

Found the solution here: https://displaylink.org/forum/showthread.php?t=67223