diff --git a/external b/external
new file mode 160000
index 0000000000..e075ca341b
--- /dev/null
+++ b/external
@@ -0,0 +1 @@
+Subproject commit e075ca341b4bb4d71b3456f040a53a4237e14671