Allow exotic filenames.

Fixes issue #9