Fix extension/type_extension interface build error
Merge pull request #16 from dsheets/fix-doc-ock-maps-interface

Fix extension/type_extension interface build error