put ipopt as libcasadi_* in distro