Adding the DNS servers, as described in the StackOverflow answer you referenced, also solved the issue for me. Thanks, it sure was an annoying problem.