diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh
index 66ec814..ed55de9 100755
--- a/autodeploy/setup.sh
+++ b/autodeploy/setup.sh
@@ -34,7 +34,7 @@ echo pixi config pypi mirror
 "$GITHUB_WORKSPACE/pixi" config set pypi-config.index-url https://pypi.psi.ch/simple
 
 ls -la .pixi/envs/default/bin/python3.14
-file .pixi/envs/default/bin/python3.14
+readelf -h .pixi/envs/default/bin/python3.14
 .pixi/envs/default/bin/python3.14 -c 'print("python ran ?!?")'
 
 echo "pixi install"