Add Task.taskCounter.
Quick fix for changed alignment in MallocAllocator.realloc. See #446.