--- a/common/conf/jib-profiles.js	Thu Jan 21 15:08:49 2016 +0100
+++ b/common/conf/jib-profiles.js	Thu Jan 21 15:10:42 2016 +0100
@@ -257,7 +257,7 @@
             target_os: "macosx",
             target_cpu: "x64",
             dependencies: concat(common.dependencies, "devkit"),
-            configure_args: concat(common.configure_args, "--with-sdk-name=macosx10.9"),
+            configure_args: common.configure_args,
             make_args: common.make_args
         },