Fix header include for linux