#178: Properly add PocketSphinx submodule