Resolve GDB build issue with mingle updates.