this works with the version of the SDK I downloaded, which appears out of date relative to the one available on github, in terms of the aliases and namespaces