Actually make proxygen required.
Because IE is retarded.
Merge pull request #1256 from iGemini/master

Minor things