more flexible BatchElements.sh