To be consistent with other behavior of Eiffel configuration file, we will adopt same logic for redirection. We may try to report a warning, as often when a variable is undefined, this is an environment error (user forgetting to set such variable). By curiosity, do you rely on an undefined variable to be resolved as an empty string? Probably, this is to handle default value and be flexible, am I right?