diff --git a/frontends/src/jp/base.py b/frontends/src/jp/base.py
index 24aae9b1..99678caa 100644
--- a/frontends/src/jp/base.py
+++ b/frontends/src/jp/base.py
@@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # jp: a SAT command line tool
diff --git a/frontends/src/jp/jp b/frontends/src/jp/jp
index 814b113b..7e886c95 100755
--- a/frontends/src/jp/jp
+++ b/frontends/src/jp/jp
@@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # jp: a SAT command line tool