execution permission for docker-run-prod.sh