Index: trunk/native/linux/latest/usr/bin/josm-latest
===================================================================
--- trunk/native/linux/latest/usr/bin/josm-latest	(revision 18498)
+++ trunk/native/linux/latest/usr/bin/josm-latest	(revision 18499)
@@ -1,5 +1,5 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 # Simple wrapper script used to start JOSM in Debian
-set -ex
+set -e
 
 # First, the alternative (if known to work) or users preference as defined by $JAVA_HOME. Next, use OpenJDK.