Fix docker/run.sh