handling filenames with ':'