diff --git a/src/history_manager.py b/src/history_manager.py
index 3c2135bbe..d20cc7062 100755
--- a/src/history_manager.py
+++ b/src/history_manager.py
@@ -1,6 +1,6 @@
 #!/bin/sh
 ''':'
-exec python -OOt "$0"
+exec python -OOt "$0" ${1+"$@"}
 ' '''
 ## history_manager.py
 ##
diff --git a/src/migrate_logs_to_dot9_db.py b/src/migrate_logs_to_dot9_db.py
index 4c27ece04..7bb402822 100755
--- a/src/migrate_logs_to_dot9_db.py
+++ b/src/migrate_logs_to_dot9_db.py
@@ -1,6 +1,6 @@
 #!/bin/sh
 ''':'
-exec python -OOt "$0"
+exec python -OOt "$0" ${1+"$@"}
 ' '''
 ## Contributors for this file:
 ## - Yann Le Boulanger <asterix@lagaule.org>