debian packaging for casadi