diff --git a/src/history_manager.py b/src/history_manager.py
index af0d8e8d0..3c2135bbe 100755
--- a/src/history_manager.py
+++ b/src/history_manager.py
@@ -1,4 +1,7 @@
-#! /usr/bin/env python
+#!/bin/sh
+''':'
+exec python -OOt "$0"
+' '''
 ## history_manager.py
 ##
 ## Copyright (C) 2006 Nikos Kouremenos <kourem@gmail.com>
diff --git a/src/migrate_logs_to_dot9_db.py b/src/migrate_logs_to_dot9_db.py
index 7566dd91c..4c27ece04 100755
--- a/src/migrate_logs_to_dot9_db.py
+++ b/src/migrate_logs_to_dot9_db.py
@@ -1,4 +1,7 @@
-#!/usr/bin/env python
+#!/bin/sh
+''':'
+exec python -OOt "$0"
+' '''
 ## Contributors for this file:
 ## - Yann Le Boulanger <asterix@lagaule.org>
 ## - Nikos Kouremenos <kourem@gmail.com>