Problem installing nimble via ./koch on linux

So, apparently, there was a problem with my linux installation, it was a Dell oem installation.

Problem installing nimble via ./koch on linux

Try install with [choosenim](https://github.com/dom96/choosenim)

Problem installing nimble via ./koch on linux

Oddly enough, the lib is already in my machine and this happens when I install nim through download. If I install via `apt install nim` there is no such problem. But I wanted the last version of Nim. On the apt repository the version is 1.0.6-1

Problem installing nimble via ./koch on linux

Does installing the right header files solve your problem?

Problem installing nimble via ./koch on linux

So, I'm trying to install nimble via ./koch and I'm getting the following error. Ubuntu 20.04 In file included from /usr/lib/gcc/x86_64-linux-gnu/9/include/syslimits.h:7, from /usr/lib/gcc/x86_64-linux-gnu/9/include/limits.h:34, from /home/br