Fix piping to ddemangle