minor fix run_ngseasy_dockers.sh