Update pocketsphinx branches
Merge pull request #5061 from mikeferguson/patch-5

Update pocketsphinx branches