allow including same file multiple times in the configuration