coccinelle: put sane filenames into output patches