diff --git a/python/examples/pizza/dump.py b/python/examples/pizza/dump.py
new file mode 120000
index 0000000000..dc00fbba82
--- /dev/null
+++ b/python/examples/pizza/dump.py
@@ -0,0 +1 @@
+../../../tools/python/pizza/dump.py
\ No newline at end of file
diff --git a/python/examples/pizza/gnu.py b/python/examples/pizza/gnu.py
new file mode 120000
index 0000000000..e4d142f6bf
--- /dev/null
+++ b/python/examples/pizza/gnu.py
@@ -0,0 +1 @@
+../../../tools/python/pizza/gnu.py
\ No newline at end of file
diff --git a/python/examples/pizza/pdbfile.py b/python/examples/pizza/pdbfile.py
new file mode 120000
index 0000000000..7a460bfc62
--- /dev/null
+++ b/python/examples/pizza/pdbfile.py
@@ -0,0 +1 @@
+../../../tools/python/pizza/pdbfile.py
\ No newline at end of file