Removes the name stripping from the source.

It was unused after d32e265, as it caused irresolvable name clashes.