Concerning #598: Fixed c runtime source so that it can be used safely together with the rest of casadi