No longer doing underscore name-mangling for extensions.