Work around DNS problem on the build hosts