Is there any way to tell for certain the version of the SDK, aside from Alpha? (perhaps a git revision or similar?) Alternatively, I suggest resintalling the SDK :-D