env/DAMASK_env.sh