#403: Pull changes from pocketsphinx repository

Resolves #403.