Fixed missing header files for Linux.