casadi_hotfixes
