more gracefully handle filenames with colons