#301: Pull changes from PocketSphinx repository
Merge pull request #302 from jeff1evesque/pull_pocketsphinx

#301: Pull changes from PocketSphinx repository