diff --git a/docs/scripts/classes.py b/docs/scripts/classes.py
index cfc79cb14..f11b5ec8b 100644
--- a/docs/scripts/classes.py
+++ b/docs/scripts/classes.py
@@ -7,7 +7,7 @@
 #
 # Original Author: Jean-Roch COULON - Thales
 
-#!/usr/bin/python3
+#!/usr/bin/env python3
 
 
 class Parameter:
diff --git a/docs/scripts/define_blacklist.py b/docs/scripts/define_blacklist.py
index bdee4b2fd..2ed886339 100644
--- a/docs/scripts/define_blacklist.py
+++ b/docs/scripts/define_blacklist.py
@@ -7,7 +7,7 @@
 #
 # Original Author: Jean-Roch COULON - Thales
 
-#!/usr/bin/python3
+#!/usr/bin/env python3
 
 
 def define_blacklist(parameters):
diff --git a/docs/scripts/parameters_extractor.py b/docs/scripts/parameters_extractor.py
index 09365c263..e5ef4dd76 100644
--- a/docs/scripts/parameters_extractor.py
+++ b/docs/scripts/parameters_extractor.py
@@ -7,7 +7,7 @@
 #
 # Original Author: Jean-Roch COULON - Thales
 
-#!/usr/bin/python3
+#!/usr/bin/env python3
 
 import sys
 import os
diff --git a/docs/scripts/spec_builder.py b/docs/scripts/spec_builder.py
index 261e2d243..1abb760dd 100755
--- a/docs/scripts/spec_builder.py
+++ b/docs/scripts/spec_builder.py
@@ -7,7 +7,7 @@
 #
 # Original Author: Jean-Roch COULON - Thales
 
-#!/usr/bin/python3
+#!/usr/bin/env python3
 
 import re
 import sys
diff --git a/verif/sim/cva6.py b/verif/sim/cva6.py
index 4c5075ec8..dab079f91 100644
--- a/verif/sim/cva6.py
+++ b/verif/sim/cva6.py
@@ -1004,7 +1004,7 @@ def check_spike_version():
     logging.info(f"- stderr:\n\n{user_spike_stderr_string}")
     # Run 'ldd' on Spike binary and print contents of stdout and stderr.
     spike_ldd = subprocess.run(
-        "/bin/ldd $SPIKE_PATH/spike", capture_output=True, text=True, shell=True
+        "ldd $SPIKE_PATH/spike", capture_output=True, text=True, shell=True
     )
     spike_ldd_stdout = spike_ldd.stdout.strip()
     spike_ldd_stderr = spike_ldd.stderr.strip()