Now distinction between:
casadi_cruntime
casadi_cruntime_embedded