hat_trie submodule and so/pyd