I thought Syntensity was based on the Sauerbraten engine, which is GPL. I'm quite sure that it isn't legal to re-license a GPL work as an MIT work - "GPL compatible" describes moving into the GPL, not from it... was the Sauerbraten code removed from Syntensity?
edit: whooops, Sauerbraten is ZLib, not GPL