Fixed in examples/gccflags