Fixed bugs in OdeLibProxy and FdeLibProxy (copying semantics).