Workaround glitch where -ggdb causes gcc segfault.