Simply cleaned up the build and started again from scratch and it worked just fine.
Well, I had to use wget and copy the archives across as curl was having problems downloading (transparent web proxies between here and the servers playing tricks?), but apart from that OK.