At some point the name of the doc-tool script changed and we stopped patching up the shabang line. The new one is just scripts/bpf_doc.py.