They should move from Sphinx to Kaldi and from GMM to DNN acoustic models. Instant 30% improvement.
http://kaldi.sourceforge.net/about.html
Does Kaldi need Windows? I only saw installation instructions for Windows. Also .. I just tried Pocket Sphinx ... says it works on Windows and Linux. So .. no non-apple or cross platform speech rec for us mac devs?