Issue 537 filenames with colons

Fixes #537.