Fix header file include for linux