diff --git a/src/core/bindings/core.py b/src/core/bindings/core.py
new file mode 100644
index 000000000..53fd4ca75
--- /dev/null
+++ b/src/core/bindings/core.py
@@ -0,0 +1,17 @@
+
+# "from _core import *" doesn't work here because symbols starting
+# with underscore would not be imported.  But they are needed because
+# other modules depend on them...
+import _core
+g = globals()
+for k,v in _core.__dict__.iteritems():
+    g[k] = v
+del g, k, v, _core
+
+
+# Without this, Python programs often crash because Node's are kept
+# alive after the Python interpreter is finalized, which leads to
+# crashes because some destructors call Python API.
+import atexit
+atexit.register(Simulator.Destroy)
+del atexit