Demangle is being included externally, needs to be made public