Fixup alignment in config.def.h.