diff -r 342362c9496c -r 51b291ae3e2d lib/Tools/env
--- a/lib/Tools/env	Sun Apr 25 21:12:59 2021 +0200
+++ b/lib/Tools/env	Sun Apr 25 22:33:15 2021 +0200
@@ -25,4 +25,4 @@
 
 [ "$1" = "-?" ] && usage
 
-exec /usr/bin/env "$@"
+/usr/bin/env "$@"