--- libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py	2017-07-30 16:01:31.495287196 +0200
+++ libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py.old	2017-07-30 16:00:08.104464440 +0200
@@ -72,6 +72,7 @@
                        --  different default standard.
 
                        "-I{support_include_dir}", "-g");
+                   for Driver ("C") use External ("GCC", "gcc");
                 end Compiler;
             end P;
             '''.format(main_source=compile_units[0],