hack around DNS problem