Seems to be working now. It was set to auto, but every time I started the mac it came up with an IP conflict. I then set it up manually, with the same result. Then I set it with auto with manual address, which seems to work. At least it rules out a hardware problem.