cdt config for simgrid