We're not using ext-tokenizer, drop it. Closes #2