header must be added only if it is relevant, ie if file is in one of the mapping directory.