Removed last vestiges of PEG.js