Non è detto che nell'originale usasse "include file", però attesta l'esistenza dell'espressione «file incluso» nella stampa ufficiale. Nell'originale era (si capisce dal contesto) "included file".