Fix header issue on Linux systems.