Removed old comment as the hosts file is now set up properly; Docker provisioning still fails, though.