Updated CasADi version