Filename collision

Fixes #4