Don't free sched_mutex until freeTaskManager has finished with it