Peter, > Also, I assume that you are aware that "/bin/sh" is linked to > "/bin/dash" in Ubuntu now, not to /bin/bash . this is the information I lacked. Changing the shebang line to /bin/bash saved the day! Thank you ever so much! Best regards, Axel