Hi Schlomo,

I once learned that this is more flexible over different linux distributions. This is why I am using it.
http://stackoverflow.com/questions/16365130/the-difference-between-usr-bin-env-bash-and-usr-bin-bash

I will remove the env as you suggested.

cheers,
Michael