adding some includes to make the compiler on linux happy