--- a/shared.gpr	2017-01-30 20:00:39.022743691 +0100
+++ b/shared.gpr	2017-01-30 20:01:20.524985069 +0100
@@ -151,11 +151,11 @@
       end case;
 
       for Switches ("aws-attachments.adb")
-        use Common_Options & Debug_Options & ("-gnatVn");
+        use Common_Options & Debug_Options & ("-gnatVn") & Adaflags;
       for Switches ("aws-session.adb")
-        use Common_Options & Debug_Options & ("-gnatVn");
+        use Common_Options & Debug_Options & ("-gnatVn") & Adaflags;
       for Switches ("templates_parser.adb")
-        use Common_Options & Debug_Options & ("-gnatVn");
+        use Common_Options & Debug_Options & ("-gnatVn") & Adaflags;
       --  Disable validity check on this unit to work-around N728-028
 
       --  ADAFLAGS and CFLAGS should come last so that command line
--- a/include/include.gpr	2017-02-17 22:09:14.361695926 +0100
+++ b/include/include.gpr	2017-02-17 22:11:36.497215517 +0100
@@ -54,7 +54,7 @@
 
          when "Release" =>
             for Default_Switches ("Ada") use
-              ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Global_Options;
+              ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Adaflags & Shared.Global_Options;
       end case;
 
       case Shared.S_Target is