Should we be using those mirrors for this task? I am choosing to wait, as I think it's a bit unfair to hammer those servers installing the SDK stuff (along with the Nokia binaries and any additional packages you might need).