Fix Docker installation.