update for single-module casadi