Fix bug re noninteractive multithreaded memory allocation.