I'm trying to clean up a bit in the platform naming mess. I'm not quite sure what's the best way to solve it all, so it might take several iterations before I've sorted it all out. So in case you see weird checkins, please just hold on for a while more and let me finish the cleanup and I hope things will start looking better. :) /Magnus