diff --git a/examples/python/zebra.py b/examples/python/zebra_sat.py
similarity index 100%
rename from examples/python/zebra.py
rename to examples/python/zebra_sat.py
diff --git a/makefiles/Makefile.python.mk b/makefiles/Makefile.python.mk
index 9e7b03b26e..8054ff9546 100755
--- a/makefiles/Makefile.python.mk
+++ b/makefiles/Makefile.python.mk
@@ -734,7 +734,7 @@ test_python_python: \
  rpy_vrp \
  rpy_wedding_optimal_chart_sat \
  rpy_worker_schedule_sat \
- rpy_zebra
+ rpy_zebra_sat
 	$(MAKE) run SOURCE=examples/python/shift_scheduling_sat ARGS="--params max_time_in_seconds:10.0" \