x86-64.org name server problems