docker/run: set -x