+wrap.sh: for adapting the docker_playground rules