unregister casadi-bindings too