Only use ddemangle when available