the default (given somewhere above) is a PinnedDispatcher, meaning that for this purpose we allocate one thread per actor system; that might want to be a lazy val, though, so people not using WriteFile don’t suffer