docker: it works
docker: cleanup, no need for makefile patch