Change in docker-playground[master]: make/Makefile: always use docker run --rm