Dockerfile: fix example devbox commands.