gen-okeys.h: regenerate