It is not sure it will be beneficial, though, since process launching is
more expensive under Windows than it is under Linux.