fixed some stupid bug in obj.cpp due to massive and stupid renaming. Fixed compilation issue with ocaml 64 bits