improvements for issue #42

Gabriele Contini

2019-11-10 a26bd812ef3fd21dd3d68bd10704ae3dd8eeea6b

 src/library/os/os.c

@@ -1,6 +1,6 @@
#include "os.h"
#include "../base/logger.h"
#include "public-key.h"
#include <public_key.h>
#include <stdio.h>

#ifdef __linux__