The problem was resolved by upgrading the C library.
I would like to use the syscall getrandom (http://man7.org/linux/man-pages/man2/getrandom.2.html)
So, it seems that getrandom is not a function, just a syscall.
Hence this is needed:
/* Note that this define is required for syscalls to work. */
#define _GNU_SOURCE
#include
#include
#include
int main(int arg, char *argv[])
{
void *buf = NULL;
size_t l = 5;
unsigned int o = 1;
int r = syscall(SYS_getrandom, buf, l, o);
return 0;
}