[build] Update docker-launch.sh