Including mc_wcet header to refer struct exec_times in rt_param..