remove the hack on replacing colons with dashes in emitted filenames