And get rid of default_task_destr since it's only used in one place anyway. It
was already confusing and leaking in some cases.
Signed-off-by: Gabriel Ivăncescu <gabrielopcode@gmail.com>