diff --git a/tools/patcher.py b/tools/patcher.py
index 89ae7f33b..4d7ed34d8 100644
--- a/tools/patcher.py
+++ b/tools/patcher.py
@@ -89,8 +89,8 @@ def apply_patch_config():
                '%d patches failed to apply. Your build will not be correct.' %
                len(results['fail']))
     sys.stdout.write('\nTo manually revert failed patches run:' \
-                     '\n$ python%d ./tools/patch_updater.py --revert --patch %s\n' %
-                     (sys.version_info.major, ' --patch '.join(results['fail'])))
+                     '\n$ %s ./tools/patch_updater.py --revert --patch %s\n' %
+                     (os.path.basename(sys.executable), ' --patch '.join(results['fail'])))
     sys.exit(1)