Include a necessary header file for Linux