I will try another PC.
In the meantime, I spoke to a friend, and we came to the conclusion that the version of Android SDK i'm using could be too new - the Galaxy Nexus was a product of 2011, after all.
Perhaps if I install an older version of SDK (however that's possible) I'll be able to root successfully? Just an idea.
Sent from my Galaxy Nexus using xda app-developers app