misc/docker-setup: use just mkdir -p instead of guarded mkdir