run-docker.sh: Work around mac readlink