Added missing header files for compilation on linux