fix Issue 10249 - incorrect mangling for overloaded symbol