Diff gcc-config-2.11 with a gcc-config-2.12.1

Thank you!