#1270 Renamed casadi_core => casadi