workaround slow dns in vagrant