Whisper seem to have switched to a different tokenizer library: pull request, and the conversion script convert-pt-to-ggml.py has stopped working. I think it needs to be updated to use the new .tiktoken files.