Adapt the library for the latest SDK (0.6.3.3_r24898).
Merge pull request #3 from nrdufour/master

Address a bug in type-checked mode

Seen in the latest SDK (0.6.3.3_r24898).