python-tokenizer: update PKGBUILD