java/python/ocaml: update after latest changes in x86.h
3 files changed