Binary package name: libcasadi