Found new DNS name for MIT directory.