fix mangling bug where module isn't mangled