more portable shebangs

This is useful on systems like NixOS, where python3 is not in
/usr/bin/python3 as well as for people using alternative ways to
install python such as virtualenv/pyenv.

Some scripts where already using '/usr/bin/env'. With this pull request
it gets more consistent. For background information see also:
https://github.com/systemd/systemd/pull/5816

1 files changed, 1 insertions, 1 deletions

diff --git a/scripts/klee-control b/scripts/klee-control
index 2f111524..0a918b42 100755
--- a/scripts/klee-control
+++ b/scripts/klee-control
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- klee-control ------------------------------------------------------===##
 #