libcasadi -> libcasadi_symbolic