casadi changed some options and constructors