sync with http://hg.mozilla.org/ipccode/