better mangling for local names