docker: fix docker options