docker: rename