generate valid filenames for incorrectly tagged modules (#458)