fix symbol export for Python