Agregue un encabezado de Linux Ubuntu 18.04

You should be able to install the kernel header files 
for the currently running kernel by running the following 
in a terminal:

sudo apt-get install linux-headers-$(uname -r)

In general, the kernel header packages are named 
linux-header-* where "*" indicates the version & variant 
(generic, server, etc.).
Merwanski