diff --git a/dummy_extension/empty.c b/dummy_extension/empty.c
new file mode 100644
index 0000000..58efc31
--- /dev/null
+++ b/dummy_extension/empty.c
@@ -0,0 +1 @@
+void _vide_empty_symbol_for_osx() {}