The docker executable is called in debian for example docker.io, to allow the user to change the command added a DOCKER env variable...