removed the `extern sched_task_exit();` and added the according header