L4RE compile error in file rt_sched-proto.h