diff --git a/submodules/binaries/dummy.c b/submodules/binaries/dummy.c
new file mode 100644
index 000000000..bf722ecc4
--- /dev/null
+++ b/submodules/binaries/dummy.c
@@ -0,0 +1,6 @@
+//regenerate libdummy.a using:
+// for arch in arm64 armv7 i386 x86_64; do 
+//     clang -c dummy.c -o dummy-$arch.a -arch $arch
+// done
+// lipo -create -output libdummy.a dummy-*.a
+void dummy_does_nothing() {}
diff --git a/submodules/binaries/libdummy.a b/submodules/binaries/libdummy.a
index a4910d080..7f9f9467f 100644
Binary files a/submodules/binaries/libdummy.a and b/submodules/binaries/libdummy.a differ