Merge pull request #2032 from jefferyto/python-ply-host