[lib/Fuzzer] guess the right number of workers if -jobs=N is given but -workers=M...