Index: src/CegoAdmAction.cc --- src/CegoAdmAction.cc.orig 2019-11-24 13:54:13.000000000 +0100 +++ src/CegoAdmAction.cc 2020-01-27 20:06:09.104499000 +0100 @@ -18,6 +18,8 @@ // /////////////////////////////////////////////////////////////////////////////// +#include + #include #include #include Index: src/CegoNet.cc --- src/CegoNet.cc.orig 2019-05-16 16:12:04.000000000 +0200 +++ src/CegoNet.cc 2020-01-27 20:03:59.473902000 +0100 @@ -19,6 +19,7 @@ /////////////////////////////////////////////////////////////////////////////// // POSIX INCLUDES +#include #include #include