r7911: task_terminate() is defined in the macosx headers, so change the name