Added -f for hypnotoad in run_in_docker.sh