Fix parsing of filenames with colons

Fixes #872