Ensure that the same file isn't included under different names.

Closes issue #28.