allow the max number of workers to scale with +RTS -N