removed a dumb hack for patching the types of external functions that need deep copying.
removed a dumb hack for patching the types of external functions that need deep copying.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c