fixes #19: Including the same file multiple times within a file is not allowed.