Adapt to binary name 'docker.io' in debian