nmansard/casadi-slam not found